Delft University of Technology - PDFSEARCH.IO - Document Search Engine

Delft University of Technology
Results: 1260

#	Item
901	Proceedings of the 4th International Conference on 3D Body Scanning Technologies Long Beach CA, USA, 19-20 November 2013 Add to Reading List Source URL: www.3dbodyscanning.org Language: English - Date: 2013-11-23 01:40:32 Full body scanner Delft University of Technology Anthropometry Image scanner Science Industrial design Technology 3D scanner
902	Interfacial Science and Fluid Mechanics: Fundamentals, Applications, and Analytical Method After the success of the previous Schools the upcoming 2015 School will be organized by the Chemistry Department of the Queen Mar Add to Reading List Source URL: webspace.qmul.ac.uk Language: English - Date: 2015-01-15 05:58:06 Colloidal chemistry Condensed matter physics Delft University of Technology Colloid Steitz Soft matter Matter Chemistry
903	Abstracts of the Conference September 17-18, 2012 Delft University of Technology & Police Academy of the Netherlands Mekelweg 8 – 10, Delft This volume contains the abstracts of the plenary and contributed papers of t Add to Reading List Source URL: files.m17.mailplus.nl Language: English - Date: 2012-11-02 10:23:32 Environment Social psychology Crimes Criminal law Environmental crime Environmental criminology Victimology Illegal logging Crime Criminology Law Environmental law
904	The Stability Reserve in EU Carbon Emission Trading: Does it Deliver What it Promises? J¨orn C. Richsteina,∗, Emile J.L. Chappina , Laurens de Vriesa a Delft University of Technology, Faculty of Policy, Technology an Add to Reading List Source URL: www.tbm.tudelft.nl Language: English - Date: 2014-06-02 09:04:26 Environment European Union Emission Trading Scheme Carbon credit Emissions trading Carbon emission trading Electricity market Climate change policy Carbon finance Climate change
905	Between Restarts and Backjumps Antonio Ramos, Peter van der Tak, and Marijn Heule⋆ Department of Software Technology, Delft University of Technology, The Netherlands Abstract. This paper introduces a novel technique th Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-04-19 04:34:22 Theoretical computer science Applied mathematics Mathematics Backjumping Backtracking MPS Operations research Search algorithms Constraint programming
906	Symbiosis of Search and Heuristics for Random 3-SAT Sid Mijnders, Boris de Wilde, and Marijn J. H. Heule ! Delft University of Technology, Delft, The Netherlands Abstract. When combined properly, search techniques can re Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 08:06:00 Graph theory Binary trees Heuristic function Heuristics Heuristic Boolean satisfiability problem Depth-first search Binary search tree Tree traversal Theoretical computer science Mathematics Search algorithms
907	Symmetry in Gardens of Eden Christiaan Hartman Marijn J. H. Heule∗ Delft University of Technology Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-01-02 11:31:27 Boolean algebra Symmetry Logic in computer science NP-complete problems Electronic design automation Boolean satisfiability problem True quantified Boolean formula Conjunctive normal form Symmetry in mathematics Theoretical computer science Mathematics Applied mathematics
908	Dynamic Symmetry Breaking by Simulating Zykov Contraction Bas Schaafsma, Marijn Heule! and Hans van Maaren Department of Software Technology, Delft University of Technology [removed], [removed], h.van Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2009-04-21 07:17:46 Graph coloring NP-complete problems Complexity classes Boolean satisfiability problem SL 2-satisfiability Greedy coloring Theoretical computer science Graph theory Mathematics
909	A JOINT CLGE – FIG SEMINAR ON ENHANCING PROFESSIONAL COMPETENCE Delft University of Technology, Delft, Netherlands 3 November 2000 LIST OF PARTICIPANTS PARTICIPANTS Australia Add to Reading List Source URL: www.fig.net Language: English - Date: 2010-11-10 05:52:57 Email Tel Aviv University Technology Delft University of Technology Fax
910	Clause Elimination Procedures for CNF Formulas Marijn Heule1 , Matti J¨arvisalo2 , and Armin Biere3 1 3 Department of Software Technology, Delft University of Technology, The Netherlands Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2010-11-29 07:34:30 Automated theorem proving Mathematical logic Propositional calculus Logic in computer science NP-complete problems Conjunctive normal form Resolution Boolean satisfiability problem Unit propagation Theoretical computer science Logic Mathematics

UPDATE